This is DVItype, Version 2.8
Options selected:
  Starting page = * 
  Maximum number of pages = 1000000
  Output level = 0 (showing bops, fonts, and error messages only)
  Resolution =  300.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000;       0.00006334 pixels per DVI unit
' TeX output 1986.10.30:1636'
 
42: beginning of page 1 
Font 0: cmr10---loaded at size 655360 DVI units 
Font 70: cmbx10---loaded at size 786432 DVI units 
 (this font is magnified 120%) 
Font 23: cmbx10---loaded at size 655360 DVI units 
 
 
943: beginning of page 2 
Font 5: cmr5---loaded at size 327680 DVI units 
 
 
16070: beginning of page 3 
 
 
16407: beginning of page 4 
Font 36: cmti10---loaded at size 655360 DVI units 
 
 
17594: beginning of page 5 
 
 
18607: beginning of page 6 
 
 
20935: beginning of page 7 
 
 
21229: beginning of page 8 
 
 
22195: beginning of page 9 
 
 
23642: beginning of page 10 
Font 12: cmsy10---loaded at size 655360 DVI units 
 
 
25709: beginning of page 11 
 
 
27612: beginning of page 12 
 
 
31570: beginning of page 13 
 
 
35900: beginning of page 14 
 
 
38882: beginning of page 15 
 
 
41743: beginning of page 16 
 
 
44714: beginning of page 17 
 
 
48775: beginning of page 18 
 
 
50042: beginning of page 19 
 
 
51774: beginning of page 20 
 
 
52303: beginning of page 21 
 
 
54628: beginning of page 22 
 
 
56352: beginning of page 23 
 
 
58646: beginning of page 24 
 
 
59016: beginning of page 25 
 
 
60144: beginning of page 26 
 
 
61119: beginning of page 27 
 
 
62399: beginning of page 28 
 
 
63125: beginning of page 29 
 
 
63737: beginning of page 30 
 
 
65080: beginning of page 31 
 
 
65979: beginning of page 32 
 
 
67364: beginning of page 33 
 
 
68629: beginning of page 34 
Font 6: cmmi10---loaded at size 655360 DVI units 
 
 
71259: beginning of page 35 
 
 
73131: beginning of page 36 
 
 
73482: beginning of page 37 
 
 
75365: beginning of page 38 
 
 
77228: beginning of page 39 
 
 
77874: beginning of page 40 
 
 
80641: beginning of page 41 
 
 
82244: beginning of page 42 
 
Postamble starts at byte 82418.
maxv=39904142, maxh=34603008, maxstackdepth=7, totalpages=42
Font 70: cmbx10 
Font 36: cmti10 
Font 23: cmbx10 
Font 12: cmsy10 
Font 6: cmmi10 
Font 5: cmr5 
Font 0: cmr10